À toute assertion \(A\), on associe sa négation \(\lnot A\), qui est vraie si \(A\) est fausse et fausse si \(A\) est vraie
Notation
En programmation, on note \(!\) la négation
Table de vérité
Table de vérité de la négation : $$\begin{array}{c|c}\varphi&\lnot\varphi\\ \hline0&{{1}}\\ \hline1&{{0}}\end{array}$$
Table de vérité de la négation en programmation : $$\begin{array}{c|c}a&!a\\ \hline0&{{1}}\\ \hline1&{{0}}\\ \hline {\bot\,}\llap{\bot} &{{ {\bot\,}\llap{\bot} }}\end{array}$$
